TEX ...

Typesets a selected input file using the current format (or the format on the first line of the input file; see below). The window acts like a terminal during a TEX session. One of the nicest things about TEX is that it behaves the same way on a large range of different computer systems. Virtually everything you read in The TEXbook will apply to the version of TEX run by , and the same goes for Leslie Lamport's LATEX book if you use that format. A few extra features have been added in :